Assumptions: disjoint coproducts, self-dual
Conclusions: disjoint products
Reason: This holds by self-duality.